A representation theorem for idempotent medial algebras
نویسندگان
چکیده
منابع مشابه
A Representation Theorem for Co-diagonalizable Algebras
This abstract is a summary of a lecture given at the Seminar of the Department of Logic and Methodology of Sciences, Wroc law University, 23 May 1985. The present work refers directly to the investigations of Buszkowski and Prucnal [1] and that of Esakia [2], generalizing their results. Our main representation theorem for co-diagonalizable algebras (Theorem 2) is obtained by application of cert...
متن کاملA representation theorem for Boolean contact algebras
We prove a representation theorem for Boolean contact algebras which implies that the axioms for the Region Connection Calculus [20] (RCC) are complete for the class of subalgebras of the algebras of regular closed sets of weakly regular connected T1 spaces.
متن کاملA Representation Theorem for MV-algebras
An MV-pair is a pair (B, G) where B is a Boolean algebra and G is a subgroup of the automorphism group of B satisfying certain conditions. Let ∼G be the equivalence relation on B naturally associated with G. We prove that for every MV-pair (B, G), the effect algebra B/ ∼G is an MV-effect algebra. Moreover, for every MV-effect algebra M there is an MV-pair (B, G) such that M is isomorphic to B/ ∼G.
متن کاملRepresentation theorem for convex effect algebras
Effect algebras have important applications in the foundations of quantum mechanics and in fuzzy probability theory. An effect algebra that possesses a convex structure is called a convex effect algebra. Our main result shows that any convex effect algebra admits a representation as a generating initial interval of an ordered linear space. This result is analogous to a classical representation ...
متن کاملThe Stone Representation Theorem for Boolean Algebras
The Stone Representation Theorem for Boolean Algebras, first proved by M. H. Stone in 1936 ([4]), states that every Boolean algebra is isomorphic to a field of sets. This paper motivates and presents a proof.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1967
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-61-2-191-198